[prev] [prev-tail] [tail] [up]

2.2.9 Integrals 801 to 879

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 801

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 113 95 502 0 188 0 0 87

N.S.

1 1.02 0.86 4.52 0.00 1.69 0.00 0.00 0.78

time (sec)

N/A 0.560 0.424 15.048 0.000 0.099 0.000 0.000 15.042

Problem 802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 219 113 398 0 195 0 0 135

N.S.

1 1.37 0.71 2.49 0.00 1.22 0.00 0.00 0.84

time (sec)

N/A 1.282 1.340 30.085 0.000 0.102 0.000 0.000 14.662

Problem 803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 191 98 362 0 180 0 0 128

N.S.

1 1.41 0.73 2.68 0.00 1.33 0.00 0.00 0.95

time (sec)

N/A 1.181 1.034 32.790 0.000 0.099 0.000 0.000 14.195

Problem 804

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 163 79 357 0 162 0 0 102

N.S.

1 1.61 0.78 3.53 0.00 1.60 0.00 0.00 1.01

time (sec)

N/A 0.946 0.637 28.579 0.000 0.098 0.000 0.000 14.002

Problem 805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 133 64 283 0 147 0 0 76

N.S.

1 1.85 0.89 3.93 0.00 2.04 0.00 0.00 1.06

time (sec)

N/A 0.823 1.216 7.918 0.000 0.097 0.000 0.000 13.711

Problem 806

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 129 62 202 0 178 0 0 81

N.S.

1 1.90 0.91 2.97 0.00 2.62 0.00 0.00 1.19

time (sec)

N/A 0.795 0.863 8.265 0.000 0.097 0.000 0.000 14.106

Problem 807

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 157 73 513 0 198 0 0 108

N.S.

1 1.65 0.77 5.40 0.00 2.08 0.00 0.00 1.14

time (sec)

N/A 0.939 1.057 12.443 0.000 0.096 0.000 0.000 14.590

Problem 808

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 187 124 633 0 223 0 0 113

N.S.

1 1.39 0.92 4.69 0.00 1.65 0.00 0.00 0.84

time (sec)

N/A 1.086 0.816 18.059 0.000 0.107 0.000 0.000 14.545

Problem 809

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 215 142 689 0 235 0 0 113

N.S.

1 1.34 0.89 4.31 0.00 1.47 0.00 0.00 0.71

time (sec)

N/A 1.283 1.111 22.420 0.000 0.109 0.000 0.000 14.707

Problem 810

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 243 137 470 0 227 0 0 178

N.S.

1 1.25 0.71 2.42 0.00 1.17 0.00 0.00 0.92

time (sec)

N/A 1.490 1.679 165.945 0.000 0.116 0.000 0.000 14.499

Problem 811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 215 110 421 0 205 0 0 146

N.S.

1 1.35 0.69 2.65 0.00 1.29 0.00 0.00 0.92

time (sec)

N/A 1.331 1.273 186.952 0.000 0.106 0.000 0.000 14.172

Problem 812

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 178 84 412 0 185 0 0 125

N.S.

1 1.53 0.72 3.55 0.00 1.59 0.00 0.00 1.08

time (sec)

N/A 1.102 1.227 169.414 0.000 0.103 0.000 0.000 14.036

Problem 813

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 188 87 303 0 214 0 0 124

N.S.

1 1.49 0.69 2.40 0.00 1.70 0.00 0.00 0.98

time (sec)

N/A 1.164 1.228 8.746 0.000 0.103 0.000 0.000 13.564

Problem 814

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 180 84 630 0 222 0 0 128

N.S.

1 1.53 0.71 5.34 0.00 1.88 0.00 0.00 1.08

time (sec)

N/A 1.133 1.913 13.128 0.000 0.112 0.000 0.000 15.225

Problem 815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 202 125 711 0 244 0 0 156

N.S.

1 1.36 0.84 4.77 0.00 1.64 0.00 0.00 1.05

time (sec)

N/A 1.318 1.543 17.427 0.000 0.103 0.000 0.000 14.901

Problem 816

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 239 177 820 0 270 0 0 147

N.S.

1 1.23 0.91 4.23 0.00 1.39 0.00 0.00 0.76

time (sec)

N/A 1.524 1.460 22.425 0.000 0.109 0.000 0.000 15.156

Problem 817

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-1) F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 245 226 668 0 0 0 0 0

N.S.

1 1.61 1.49 4.39 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.869 12.072 10.119 0.000 0.000 0.000 0.000 0.000

Problem 818

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 199 158 552 0 0 0 0 0

N.S.

1 1.78 1.41 4.93 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.382 1.831 7.418 0.000 0.000 0.000 0.000 0.000

Problem 819

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 156 81 226 0 0 0 0 0

N.S.

1 2.08 1.08 3.01 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.033 10.679 6.112 0.000 0.000 0.000 0.000 0.000

Problem 820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 48 187 0 0 0 0 0

N.S.

1 1.00 0.91 3.53 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.557 0.254 4.803 0.000 0.000 0.000 0.000 0.000

Problem 821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 29 150 0 0 0 0 0

N.S.

1 1.00 1.00 5.17 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.413 0.252 3.993 0.000 0.000 0.000 0.000 0.000

Problem 822

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F(-1) F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 137 195 353 0 0 0 0 0

N.S.

1 1.78 2.53 4.58 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.919 3.136 6.529 0.000 0.000 0.000 0.000 0.000

Problem 823

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-1) F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 222 210 423 0 0 0 0 0

N.S.

1 1.73 1.64 3.30 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.750 4.264 13.703 0.000 0.000 0.000 0.000 0.000

Problem 824

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

244 310 266 1064 0 0 0 0 0

N.S.

1 1.27 1.09 4.36 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.154 2.106 15.538 0.000 0.000 0.000 0.000 0.000

Problem 825

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 253 252 809 0 0 0 0 0

N.S.

1 1.38 1.37 4.40 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.676 2.061 15.009 0.000 0.000 0.000 0.000 0.000

Problem 826

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 237 194 788 0 0 0 0 0

N.S.

1 1.42 1.16 4.72 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.519 3.952 13.511 0.000 0.000 0.000 0.000 0.000

Problem 827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 223 229 707 0 0 0 0 0

N.S.

1 1.51 1.55 4.78 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.452 3.718 11.990 0.000 0.000 0.000 0.000 0.000

Problem 828

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F(-1) F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 233 239 608 0 0 0 0 0

N.S.

1 1.51 1.55 3.95 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.562 3.807 10.203 0.000 0.000 0.000 0.000 0.000

Problem 829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F(-1) F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 287 278 841 0 0 0 0 0

N.S.

1 1.31 1.27 3.84 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.080 3.007 16.217 0.000 0.000 0.000 0.000 0.000

Problem 830

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

346 424 353 2216 0 0 0 0 0

N.S.

1 1.23 1.02 6.40 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.998 4.176 33.714 0.000 0.000 0.000 0.000 0.000

Problem 831

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

282 363 311 1957 0 0 0 0 0

N.S.

1 1.29 1.10 6.94 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.498 3.217 30.588 0.000 0.000 0.000 0.000 0.000

Problem 832

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

263 342 286 1936 0 0 0 0 0

N.S.

1 1.30 1.09 7.36 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.281 3.616 26.373 0.000 0.000 0.000 0.000 0.000

Problem 833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F(-1) F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

246 328 272 1858 0 0 0 0 0

N.S.

1 1.33 1.11 7.55 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.188 2.320 25.322 0.000 0.000 0.000 0.000 0.000

Problem 834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F(-1) F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

253 331 289 1760 0 0 0 0 0

N.S.

1 1.31 1.14 6.96 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.300 3.225 25.125 0.000 0.000 0.000 0.000 0.000

Problem 835

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F(-1) F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 339 297 1203 0 0 0 0 0

N.S.

1 1.33 1.16 4.72 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.311 3.150 15.591 0.000 0.000 0.000 0.000 0.000

Problem 836

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F(-1) F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

328 403 334 1987 0 0 0 0 0

N.S.

1 1.23 1.02 6.06 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.001 4.033 32.898 0.000 0.000 0.000 0.000 0.000

Problem 837

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

244 274 340 2306 0 453 0 0 0

N.S.

1 1.12 1.39 9.45 0.00 1.86 0.00 0.00 0.00

time (sec)

N/A 2.051 10.208 6.674 0.000 0.131 0.000 0.000 0.000

Problem 838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 214 273 1313 0 415 0 0 0

N.S.

1 1.11 1.42 6.84 0.00 2.16 0.00 0.00 0.00

time (sec)

N/A 1.544 10.019 5.962 0.000 0.119 0.000 0.000 0.000

Problem 839

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

67 67 244 869 0 355 0 0 0

N.S.

1 1.00 3.64 12.97 0.00 5.30 0.00 0.00 0.00

time (sec)

N/A 0.522 6.737 3.806 0.000 0.107 0.000 0.000 0.000

Problem 840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

138 159 14885 245 0 0 0 0 0

N.S.

1 1.15 107.86 1.78 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.344 31.602 7.009 0.000 0.000 0.000 0.000 0.000

Problem 841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

237 275 33693 995 0 0 0 0 0

N.S.

1 1.16 142.16 4.20 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.442 32.381 8.003 0.000 0.000 0.000 0.000 0.000

Problem 842

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

303 332 383 2766 0 491 0 0 0

N.S.

1 1.10 1.26 9.13 0.00 1.62 0.00 0.00 0.00

time (sec)

N/A 2.725 11.219 8.020 0.000 0.119 0.000 0.000 0.000

Problem 843

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

240 259 344 2302 0 455 0 0 0

N.S.

1 1.08 1.43 9.59 0.00 1.90 0.00 0.00 0.00

time (sec)

N/A 2.026 9.274 6.901 0.000 0.108 0.000 0.000 0.000

Problem 844

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 209 284 1594 0 415 0 0 0

N.S.

1 1.12 1.52 8.52 0.00 2.22 0.00 0.00 0.00

time (sec)

N/A 1.598 7.717 5.672 0.000 0.101 0.000 0.000 0.000

Problem 845

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

209 230 25369 1163 0 0 0 0 0

N.S.

1 1.10 121.38 5.56 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.176 33.924 7.984 0.000 0.000 0.000 0.000 0.000

Problem 846

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

249 276 35156 1585 0 0 0 0 0

N.S.

1 1.11 141.19 6.37 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.722 33.139 9.301 0.000 0.000 0.000 0.000 0.000

Problem 847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

299 329 51904 2317 0 0 0 0 0

N.S.

1 1.10 173.59 7.75 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.421 34.020 10.143 0.000 0.000 0.000 0.000 0.000

Problem 848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

363 399 477 3822 0 531 0 0 0

N.S.

1 1.10 1.31 10.53 0.00 1.46 0.00 0.00 0.00

time (sec)

N/A 3.478 15.611 1492.865 0.000 0.133 0.000 0.000 0.000

Problem 849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

303 333 419 2766 0 491 0 0 0

N.S.

1 1.10 1.38 9.13 0.00 1.62 0.00 0.00 0.00

time (sec)

N/A 2.777 13.799 1253.641 0.000 0.118 0.000 0.000 0.000

Problem 850

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

239 271 391 2585 0 454 0 0 0

N.S.

1 1.13 1.64 10.82 0.00 1.90 0.00 0.00 0.00

time (sec)

N/A 2.154 13.168 1324.395 0.000 0.109 0.000 0.000 0.000

Problem 851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

262 284 60796 2588 0 0 0 0 0

N.S.

1 1.08 232.05 9.88 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.919 79.327 9.827 0.000 0.000 0.000 0.000 0.000

Problem 852

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

263 291 44895 2544 0 0 0 0 0

N.S.

1 1.11 170.70 9.67 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.986 34.508 10.743 0.000 0.000 0.000 0.000 0.000

Problem 853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

314 345 53538 2634 0 0 0 0 0

N.S.

1 1.10 170.50 8.39 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.719 33.439 12.012 0.000 0.000 0.000 0.000 0.000

Problem 854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F C C F F(-1) F(-1) F F(-1)

verified

N/A N/A No Yes TBD TBD TBD TBD TBD

size

369 0 62811 3055 0 0 0 0 0

N.S.

1 0.00 170.22 8.28 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 34.246 13.002 0.000 0.000 0.000 0.000 0.000

Problem 855

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

249 282 340 2307 0 456 0 0 0

N.S.

1 1.13 1.37 9.27 0.00 1.83 0.00 0.00 0.00

time (sec)

N/A 2.148 10.190 9.737 0.000 0.130 0.000 0.000 0.000

Problem 856

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 220 265 1316 0 415 0 0 0

N.S.

1 1.13 1.36 6.75 0.00 2.13 0.00 0.00 0.00

time (sec)

N/A 1.599 9.664 8.185 0.000 0.103 0.000 0.000 0.000

Problem 857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 163 216 739 0 355 0 0 0

N.S.

1 1.15 1.52 5.20 0.00 2.50 0.00 0.00 0.00

time (sec)

N/A 1.242 4.938 7.377 0.000 0.098 0.000 0.000 0.000

Problem 858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 102 135 0 146 0 0 0

N.S.

1 1.00 1.52 2.01 0.00 2.18 0.00 0.00 0.00

time (sec)

N/A 0.518 1.963 6.164 0.000 0.089 0.000 0.000 0.000

Problem 859

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

68 68 14986 195 0 0 0 0 0

N.S.

1 1.00 220.38 2.87 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.635 6.902 7.574 0.000 0.000 0.000 0.000 0.000

Problem 860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

246 280 30674 1281 0 0 0 0 0

N.S.

1 1.14 124.69 5.21 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.466 32.589 9.717 0.000 0.000 0.000 0.000 0.000

Problem 861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

312 333 51912 2319 0 0 0 0 0

N.S.

1 1.07 166.38 7.43 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.365 34.199 12.114 0.000 0.000 0.000 0.000 0.000

Problem 862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

360 380 419 2421 0 702 0 0 0

N.S.

1 1.06 1.16 6.72 0.00 1.95 0.00 0.00 0.00

time (sec)

N/A 3.019 9.074 10.717 0.000 0.160 0.000 0.000 0.000

Problem 863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

289 316 382 1711 0 644 0 0 0

N.S.

1 1.09 1.32 5.92 0.00 2.23 0.00 0.00 0.00

time (sec)

N/A 2.263 6.628 10.273 0.000 0.146 0.000 0.000 0.000

Problem 864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

214 249 330 925 0 585 0 0 0

N.S.

1 1.16 1.54 4.32 0.00 2.73 0.00 0.00 0.00

time (sec)

N/A 1.770 7.196 8.857 0.000 0.115 0.000 0.000 0.000

Problem 865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 232 245 593 0 541 0 0 0

N.S.

1 1.16 1.22 2.96 0.00 2.70 0.00 0.00 0.00

time (sec)

N/A 1.610 6.370 7.520 0.000 0.101 0.000 0.000 0.000

Problem 866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 147 239 587 0 500 0 0 0

N.S.

1 1.17 1.90 4.66 0.00 3.97 0.00 0.00 0.00

time (sec)

N/A 0.774 6.076 4.344 0.000 0.110 0.000 0.000 0.000

Problem 867

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

206 235 48278 1019 0 0 0 0 0

N.S.

1 1.14 234.36 4.95 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.833 32.909 8.870 0.000 0.000 0.000 0.000 0.000

Problem 868

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

345 381 52199 2300 0 0 0 0 0

N.S.

1 1.10 151.30 6.67 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.755 32.827 10.160 0.000 0.000 0.000 0.000 0.000

Problem 869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

391 420 527 4534 0 971 0 0 0

N.S.

1 1.07 1.35 11.60 0.00 2.48 0.00 0.00 0.00

time (sec)

N/A 3.186 12.413 10.852 0.000 0.178 0.000 0.000 0.000

Problem 870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

317 353 507 4120 0 884 0 0 0

N.S.

1 1.11 1.60 13.00 0.00 2.79 0.00 0.00 0.00

time (sec)

N/A 2.535 18.246 9.193 0.000 0.162 0.000 0.000 0.000

Problem 871

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

302 335 398 2885 0 835 0 0 0

N.S.

1 1.11 1.32 9.55 0.00 2.76 0.00 0.00 0.00

time (sec)

N/A 2.379 8.734 8.099 0.000 0.143 0.000 0.000 0.000

Problem 872

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

281 309 447 2304 0 782 0 0 0

N.S.

1 1.10 1.59 8.20 0.00 2.78 0.00 0.00 0.00

time (sec)

N/A 2.186 11.967 5.795 0.000 0.144 0.000 0.000 0.000

Problem 873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

277 316 311 1999 0 709 0 0 0

N.S.

1 1.14 1.12 7.22 0.00 2.56 0.00 0.00 0.00

time (sec)

N/A 2.295 8.709 6.171 0.000 0.117 0.000 0.000 0.000

Problem 874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

370 411 93062 4415 0 0 0 0 0

N.S.

1 1.11 251.52 11.93 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.980 34.585 9.291 0.000 0.000 0.000 0.000 0.000

Problem 875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

266 299 222 0 0 0 0 0 0

N.S.

1 1.12 0.83 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.643 0.648 0.000 0.000 0.000 0.000 0.000 0.000

Problem 876

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

186 204 161 0 0 0 0 0 0

N.S.

1 1.10 0.87 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.966 0.312 0.000 0.000 0.000 0.000 0.000 0.000

Problem 877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

132 137 106 0 0 0 0 0 0

N.S.

1 1.04 0.80 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.435 0.097 0.000 0.000 0.000 0.000 0.000 0.000

Problem 878

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

196 209 5216 0 0 0 0 0 0

N.S.

1 1.07 26.61 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.793 27.480 0.000 0.000 0.000 0.000 0.000 0.000

Problem 879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

309 316 13974 0 0 0 0 0 0

N.S.

1 1.02 45.22 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.874 51.681 0.000 0.000 0.000 0.000 0.000 0.000

[prev] [prev-tail] [front] [up]